The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Wireless video streaming with TCP and simultaneous MAC packet transmission (SMPT)

Video streaming is expected to account for a large portion of the traffic in future networks, including wireless networks. It is widely accepted that the user datagram protocol (UDP) is the preferred transport protocol for video streaming and that the transmission control protocol (TCP) is unsuitable for streaming. The widespread use of UDP, however, has a number of drawbacks, such as unfairness and possible congestion collapse, which are avoided by TCP. In this paper we investigate the use of TCP as the transport layer protocol for streaming video in a multi‐code CDMA cellular wireless system. Our approach is to stabilize the TCP throughput over the wireless links by employing a recently developed simultaneous MAC packet transmission (SMPT) approach at the link layer. We study the capacity, i.e. the number of customers per cell, and the quality of service for streaming video in the uplink direction. Our extensive simulations indicate that streaming over TCP in conjunction with SMPT gives good performance for video encoded in a closed loop, i.e. with rate control. We have also found that TCP is unsuitable (even in conjunction with SMPT) for streaming the more variable open‐loop encoded video. Copyright © 2004 John Wiley & Sons, Ltd.     

Occupational Factors and 5-Year Weight Change Among Men in a Danish National Cohort.

This study explored whether factors related to the work environment could predict changes in body mass index (BMI) and whether the effect of psychosocial factors was dependent on baseline BMI. The sample consisted of 1,980 male employees from the Danish National Work Environment Cohort Study. Changes in BMI between 1995 and 2000 were analyzed, by multiple regression, as a function of background variables and a series of occupational variables obtained in 1995. Age, baseline BMI, job insecurity, and psychological demands predicted changes in BMI. Job insecurity and high or low psychological demands increased the likelihood of weight gain among obese employees, whereas they increased the likelihood of weight loss among employees with a low BMI. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Miniaturized coplanar waveguide stop band filters based on multiple tuned split ring resonators

A novel compact stop band filter consisting of a 50 /spl Omega/ coplanar waveguide (CPW) with split ring resonators (SRRs) etched in the back side of the substrate is presented. By aligning SRRs with the slots, a high inductive coupling between line and rings is achieved, with the result of a sharp and narrow rejection band in the vicinity of the resonant frequency of the rings. In order to widen the stop band of the filter, several ring pairs tuned at equally spaced frequencies within the desired gap are cascaded. The frequency response measured in the fabricated prototype device exhibits pronounced slopes at either side of the stop band and near 0 dBs insertion loss outside that band. Since SRR dimensions are much smaller than signal wavelength, the proposed filters are extremely compact and can be used to reject frequency parasitics in CPW structures by simply patterning properly tuned SRRs in the back side metal. Additional advantages are easy fabrication and compatibility with MMIC or PCB technology.     

Techniques for microstructural characterization of powder-processed nickel-based superalloys

Methods are described for sample preparation of polycrystalline Ni-based superalloys in order to perform a detailed microstructural characterization. Specific techniques for the precise definition of the various phases present are outlined and these are shown to be useful for the measurement of size, volume fractions and distribution. A number of optical, scanning and transmission microscopy techniques are used to provide the necessary information.     

The influence of plastic properties on chip formation

A two-dimensional finite-element model of the chip formation process is used to study the influence of the material law determining plastic flow on chip formation of titanium alloys at high cutting speeds. For simplicity, friction and thermo-mechanical properties of the tool are neglected in the simulations. Titanium chips are strongly segmented and therefore especially suitable to study the role of segmentation for the cutting force and other cutting parameters. Of special interest is the influence of the thermal softening parameter in the material law. Increasing thermal softening leads to a drastic decrease in the cutting force and a corresponding increase in chip segmentation. A variation of the hardening exponent is also performed. It is shown that the simulation results can be understood by using adiabatic flow stress curves. The variation of the hardening exponent leads to strongly differing chip shapes, although the cutting force stays nearly constant. This shows that mean cutting forces should not be used as simulation verification parameters.     

Implicit Leadership Theories in Applied Settings: Factor Structure, Generalizability, and Stability Over Time.

The present empirical investigation had a 3-fold purpose: (a) to cross-validate L. R. Offermann, J. K. Kennedy, and P. W. Wirtz's (1994) scale of Implicit Leadership Theories (ILTs) in several organizational settings and to further provide a shorter scale of ILTs in organizations; (b) to assess the generalizability of ILTs across different employee groups, and (c) to evaluate ILTs' change over time. Two independent samples were used for the scale validation (N1 = 500 and N2 = 439). A 6-factor structure (Sensitivity, Intelligence, Dedication, Dynamism, Tyranny, and Masculinity) was found to most accurately represent ELTs in organizational settings. Regarding the generalizability of ILTs, although the 6-factor structure was consistent across different employee groups, there was only partial support for total factorial invariance. Finally, evaluation of gamma, beta, and alpha change provided support for ILTs' stability over time. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Reaction of cytochrome P450 with cumene hydroperoxide: ESR spin-trapping evidence for the homolytic scission of the peroxide O-O bond by ferric cytochrome P450 1A2

ESR spin trapping was used to investigate the reaction of rabbit cytochrome P450 (P450) 1A2 with cumene hydroperoxide. Cumene hydroperoxide-derived peroxyl, alkoxyl, and carbon-centered radicals were formed and trapped during the reaction. The relative contributions of each radical adduct to the composite ESR spectrum were influenced by the concentration of the spin trap. Computer simulation of the experimental data obtained at various 5,5-dimethyl-1-pyrroline N-oxide (DMPO) concentrations was used to quantitate the contributions of each radical adduct to the composite ESR spectrum. The alkoxyl radical was the initial radical produced during the reaction. Experiments with 2-methyl-2-nitrosopropane identified the carbon-centered adducts as those of the methyl radical, hydroxymethyl radical, and a secondary carbon-centered radical. The reaction did not require NADPH-cytochrome P450 reductase or NADPH. It is concluded that the reaction involves the initial homolytic scission of the peroxide O-O bond to produce the cumoxyl radical. Methyl radicals were produced from the beta-scission of the cumoxyl radical. The peroxyl adduct was not observed in the absence of molecular oxygen. We conclude that the DMPO peroxyl radical adduct detected in the presence of oxygen was due to the methylperoxyl radical formed by the reaction of the methyl radical with oxygen. At a higher P450 concentration, a protein-derived radical adduct was also detected.